two-variable inequalities